﻿namespace LogicExpressionCalculator
{
    public enum LogicOperatorType
    {
        /// <summary>
        /// Conjunction ^:
        /// p   q   p^q
        /// T   T   T
        /// T   F   F
        /// F   T   F
        /// F   F   F
        /// </summary>
        Conjunction, 
        /// <summary>
        /// Disjunction V
        /// p   q   pVq
        /// T   T   T
        /// T   F   T
        /// F   T   T
        /// F   F   F
        /// </summary>
        Disjunction,
        /// <summary>
        /// Negation !
        /// p   !p
        /// T   F
        /// F   T
        /// </summary>
        Negation, 
        /// <summary>
        /// Implication p->q
        /// p   q   p->q
        /// T   T   T
        /// T   F   F
        /// F   T   T
        /// F   F   T
        /// </summary>
        Implication,
        /// <summary>
        /// Biconditional p=>q
        /// p   q   p=>q
        /// T   T   T
        /// T   F   F
        /// F   T   F
        /// F   F   T
        /// </summary>
        Biconditional
    }
}
